enigma Contracts

Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts
indexing
    description: "Objects that provide a simple encryption engine"
    author: "CSARDAS TEAM"
    date: "May 2007"
    revision: "$1.0$"

class interface
    ENIGMA

create 
    make

feature -- creation

    make (k: INTEGER_32)
            -- Initialize `Current'.
        require else
            k > -1 and k < 10
    
feature -- operation

    encrypt (str: STRING_8): STRING_8
            -- IT ONLY STORE LOWER CASE STRING
        require else
            str /= Void

    decrypt (str: STRING_8): STRING_8
            --
        require else
            str /= Void
    
end -- class ENIGMAClasses Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com